Optimal. Leaf size=266 \[ \frac {d \left (-\tan ^2(e+f x)\right )^{\frac {1-n}{2}+\frac {n-1}{2}} (d \tan (e+f x))^{n-1} \left (-\frac {b (1-\sec (e+f x))}{a+b \sec (e+f x)}\right )^{\frac {1-n}{2}} \left (\frac {b (\sec (e+f x)+1)}{a+b \sec (e+f x)}\right )^{\frac {1-n}{2}} F_1\left (1-n;\frac {1-n}{2},\frac {1-n}{2};2-n;\frac {a+b}{a+b \sec (e+f x)},\frac {a-b}{a+b \sec (e+f x)}\right )}{a f (1-n)}-\frac {d \left (-\tan ^2(e+f x)\right )^{\frac {1-n}{2}+\frac {n+1}{2}} (d \tan (e+f x))^{n-1} \, _2F_1\left (1,\frac {n+1}{2};\frac {n+3}{2};-\tan ^2(e+f x)\right )}{a f (n+1)} \]
[Out]
________________________________________________________________________________________
Rubi [F] time = 0.05, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \[ \int \frac {(d \tan (e+f x))^n}{a+b \sec (e+f x)} \, dx \]
Verification is Not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {(d \tan (e+f x))^n}{a+b \sec (e+f x)} \, dx &=\int \frac {(d \tan (e+f x))^n}{a+b \sec (e+f x)} \, dx\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] time = 4.74, size = 786, normalized size = 2.95 \[ \frac {2 \tan \left (\frac {1}{2} (e+f x)\right ) (d \tan (e+f x))^n \left ((a+b) F_1\left (\frac {n+1}{2};n,1;\frac {n+3}{2};\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right )-b F_1\left (\frac {n+1}{2};n,1;\frac {n+3}{2};\tan ^2\left (\frac {1}{2} (e+f x)\right ),\frac {(a-b) \tan ^2\left (\frac {1}{2} (e+f x)\right )}{a+b}\right )\right )}{f (a+b \sec (e+f x)) \left (\sec ^2\left (\frac {1}{2} (e+f x)\right ) \left ((a+b) F_1\left (\frac {n+1}{2};n,1;\frac {n+3}{2};\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right )-b F_1\left (\frac {n+1}{2};n,1;\frac {n+3}{2};\tan ^2\left (\frac {1}{2} (e+f x)\right ),\frac {(a-b) \tan ^2\left (\frac {1}{2} (e+f x)\right )}{a+b}\right )\right )-\frac {2 (n+1) \tan ^2\left (\frac {1}{2} (e+f x)\right ) \sec ^2\left (\frac {1}{2} (e+f x)\right ) \left ((a+b)^2 \left (F_1\left (\frac {n+3}{2};n,2;\frac {n+5}{2};\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right )-n F_1\left (\frac {n+3}{2};n+1,1;\frac {n+5}{2};\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right )\right )+b n (a+b) F_1\left (\frac {n+3}{2};n+1,1;\frac {n+5}{2};\tan ^2\left (\frac {1}{2} (e+f x)\right ),\frac {(a-b) \tan ^2\left (\frac {1}{2} (e+f x)\right )}{a+b}\right )+b (a-b) F_1\left (\frac {n+3}{2};n,2;\frac {n+5}{2};\tan ^2\left (\frac {1}{2} (e+f x)\right ),\frac {(a-b) \tan ^2\left (\frac {1}{2} (e+f x)\right )}{a+b}\right )\right )}{(n+3) (a+b)}+2 n \tan \left (\frac {1}{2} (e+f x)\right ) \csc (e+f x) \sec (e+f x) \left ((a+b) F_1\left (\frac {n+1}{2};n,1;\frac {n+3}{2};\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right )-b F_1\left (\frac {n+1}{2};n,1;\frac {n+3}{2};\tan ^2\left (\frac {1}{2} (e+f x)\right ),\frac {(a-b) \tan ^2\left (\frac {1}{2} (e+f x)\right )}{a+b}\right )\right )-16 n \sin ^5\left (\frac {1}{2} (e+f x)\right ) \cos \left (\frac {1}{2} (e+f x)\right ) \csc ^3(e+f x) \sec (e+f x) \left ((a+b) F_1\left (\frac {n+1}{2};n,1;\frac {n+3}{2};\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right )-b F_1\left (\frac {n+1}{2};n,1;\frac {n+3}{2};\tan ^2\left (\frac {1}{2} (e+f x)\right ),\frac {(a-b) \tan ^2\left (\frac {1}{2} (e+f x)\right )}{a+b}\right )\right )\right )} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 0.93, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {\left (d \tan \left (f x + e\right )\right )^{n}}{b \sec \left (f x + e\right ) + a}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\left (d \tan \left (f x + e\right )\right )^{n}}{b \sec \left (f x + e\right ) + a}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 2.48, size = 0, normalized size = 0.00 \[ \int \frac {\left (d \tan \left (f x +e \right )\right )^{n}}{a +b \sec \left (f x +e \right )}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\left (d \tan \left (f x + e\right )\right )^{n}}{b \sec \left (f x + e\right ) + a}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {\cos \left (e+f\,x\right )\,{\left (d\,\mathrm {tan}\left (e+f\,x\right )\right )}^n}{b+a\,\cos \left (e+f\,x\right )} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\left (d \tan {\left (e + f x \right )}\right )^{n}}{a + b \sec {\left (e + f x \right )}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________